SOURCE_CODES
  ENABLED start
  ENABLED dead
  ENABLED game
END_OF_SOURCE_CODES
